Skip to content

Bring in QED-it Tests#101

Closed
defuse wants to merge 29 commits into
zcash:masterfrom
defuse:qed-it
Closed

Bring in QED-it Tests#101
defuse wants to merge 29 commits into
zcash:masterfrom
defuse:qed-it

Conversation

@defuse

@defuse defuse commented Mar 12, 2019

Copy link
Copy Markdown
Collaborator

This pulls in a bunch of tests QED-it wrote during their audit that were spread across many branches in their sapling-crypto-internal repository. I've left their history intact so the best way to review it is to just look at the final diff, except for...

  • the third-last commit which includes changes outside of tests, and
  • the second-last commit which is my attempt to fix the broken linear relation testing in the previous commit (the check in the previous commit effectively just checks that p1 != p2 again, not what it was intended to do).

I have not reviewed the actual test code myself.

I did not bring in this change to the circuit code, because I don't understand it. I also did not bring in a bunch of changes to comments and variable renamings in the aurel_comments branch and the sum_bug branch, but I did bring in the new tests from those branches.

@daira

daira commented Apr 3, 2019

Copy link
Copy Markdown
Contributor

@defuse wrote:

I did not bring in this change to the circuit code, because I don't understand it.

That change looks correct to me, but it should not be in this PR. (The change does not alter the behaviour of the circuit. It addresses the "Pedersen hash circuit implementation can not calculate inputs larger than 63*3*4" issue in the QED-it report.)

@defuse defuse changed the title [WIP] Bring in QED-it Tests Bring in QED-it Tests Apr 10, 2019
@defuse

defuse commented Apr 10, 2019

Copy link
Copy Markdown
Collaborator Author

Just added a commit to fix the build warnings.

stefandeml pushed a commit to stefandeml/sapling-crypto that referenced this pull request Jul 5, 2019
fix: switch progressbar libraries, to make compatible to bsd
@str4d

str4d commented Sep 28, 2019

Copy link
Copy Markdown
Contributor

Replaced by zcash/librustzcash#93

@str4d str4d closed this Sep 28, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants